Optimal. Leaf size=94 \[ \frac{\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 g}-\frac{p (e f-d g)^2 \log \left (d+e x^2\right )}{4 e^2 g}-\frac{p x^2 (e f-d g)}{4 e}-\frac{p \left (f+g x^2\right )^2}{8 g} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0928483, antiderivative size = 94, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.143, Rules used = {2475, 2395, 43} \[ \frac{\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 g}-\frac{p (e f-d g)^2 \log \left (d+e x^2\right )}{4 e^2 g}-\frac{p x^2 (e f-d g)}{4 e}-\frac{p \left (f+g x^2\right )^2}{8 g} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2475
Rule 2395
Rule 43
Rubi steps
\begin{align*} \int x \left (f+g x^2\right ) \log \left (c \left (d+e x^2\right )^p\right ) \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int (f+g x) \log \left (c (d+e x)^p\right ) \, dx,x,x^2\right )\\ &=\frac{\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 g}-\frac{(e p) \operatorname{Subst}\left (\int \frac{(f+g x)^2}{d+e x} \, dx,x,x^2\right )}{4 g}\\ &=\frac{\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 g}-\frac{(e p) \operatorname{Subst}\left (\int \left (\frac{g (e f-d g)}{e^2}+\frac{(e f-d g)^2}{e^2 (d+e x)}+\frac{g (f+g x)}{e}\right ) \, dx,x,x^2\right )}{4 g}\\ &=-\frac{(e f-d g) p x^2}{4 e}-\frac{p \left (f+g x^2\right )^2}{8 g}-\frac{(e f-d g)^2 p \log \left (d+e x^2\right )}{4 e^2 g}+\frac{\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 g}\\ \end{align*}
Mathematica [A] time = 0.0437708, size = 98, normalized size = 1.04 \[ \frac{1}{2} f \left (\frac{\left (d+e x^2\right ) \log \left (c \left (d+e x^2\right )^p\right )}{e}-p x^2\right )+\frac{1}{4} g x^4 \log \left (c \left (d+e x^2\right )^p\right )-\frac{d^2 g p \log \left (d+e x^2\right )}{4 e^2}+\frac{d g p x^2}{4 e}-\frac{1}{8} g p x^4 \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.571, size = 361, normalized size = 3.8 \begin{align*} \left ({\frac{g{x}^{4}}{4}}+{\frac{f{x}^{2}}{2}} \right ) \ln \left ( \left ( e{x}^{2}+d \right ) ^{p} \right ) +{\frac{i}{8}}\pi \,g{x}^{4}{\it csgn} \left ( i \left ( e{x}^{2}+d \right ) ^{p} \right ) \left ({\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ) \right ) ^{2}+{\frac{i}{4}}\pi \,f{x}^{2} \left ({\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ) \right ) ^{2}{\it csgn} \left ( ic \right ) -{\frac{i}{8}}\pi \,g{x}^{4}{\it csgn} \left ( i \left ( e{x}^{2}+d \right ) ^{p} \right ){\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ){\it csgn} \left ( ic \right ) -{\frac{i}{4}}\pi \,f{x}^{2} \left ({\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ) \right ) ^{3}-{\frac{i}{8}}\pi \,g{x}^{4} \left ({\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ) \right ) ^{3}+{\frac{i}{4}}\pi \,f{x}^{2}{\it csgn} \left ( i \left ( e{x}^{2}+d \right ) ^{p} \right ) \left ({\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ) \right ) ^{2}-{\frac{i}{4}}\pi \,f{x}^{2}{\it csgn} \left ( i \left ( e{x}^{2}+d \right ) ^{p} \right ){\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ){\it csgn} \left ( ic \right ) +{\frac{i}{8}}\pi \,g{x}^{4} \left ({\it csgn} \left ( ic \left ( e{x}^{2}+d \right ) ^{p} \right ) \right ) ^{2}{\it csgn} \left ( ic \right ) +{\frac{\ln \left ( c \right ) g{x}^{4}}{4}}-{\frac{gp{x}^{4}}{8}}+{\frac{\ln \left ( c \right ) f{x}^{2}}{2}}+{\frac{dgp{x}^{2}}{4\,e}}-{\frac{fp{x}^{2}}{2}}-{\frac{\ln \left ( e{x}^{2}+d \right ){d}^{2}gp}{4\,{e}^{2}}}+{\frac{\ln \left ( e{x}^{2}+d \right ) dfp}{2\,e}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.03011, size = 134, normalized size = 1.43 \begin{align*} -\frac{e p{\left (\frac{e g^{2} x^{4} + 2 \,{\left (2 \, e f g - d g^{2}\right )} x^{2}}{e^{2}} + \frac{2 \,{\left (e^{2} f^{2} - 2 \, d e f g + d^{2} g^{2}\right )} \log \left (e x^{2} + d\right )}{e^{3}}\right )}}{8 \, g} + \frac{{\left (g x^{2} + f\right )}^{2} \log \left ({\left (e x^{2} + d\right )}^{p} c\right )}{4 \, g} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.83286, size = 216, normalized size = 2.3 \begin{align*} -\frac{e^{2} g p x^{4} + 2 \,{\left (2 \, e^{2} f - d e g\right )} p x^{2} - 2 \,{\left (e^{2} g p x^{4} + 2 \, e^{2} f p x^{2} +{\left (2 \, d e f - d^{2} g\right )} p\right )} \log \left (e x^{2} + d\right ) - 2 \,{\left (e^{2} g x^{4} + 2 \, e^{2} f x^{2}\right )} \log \left (c\right )}{8 \, e^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 67.4428, size = 139, normalized size = 1.48 \begin{align*} \begin{cases} - \frac{d^{2} g p \log{\left (d + e x^{2} \right )}}{4 e^{2}} + \frac{d f p \log{\left (d + e x^{2} \right )}}{2 e} + \frac{d g p x^{2}}{4 e} + \frac{f p x^{2} \log{\left (d + e x^{2} \right )}}{2} - \frac{f p x^{2}}{2} + \frac{f x^{2} \log{\left (c \right )}}{2} + \frac{g p x^{4} \log{\left (d + e x^{2} \right )}}{4} - \frac{g p x^{4}}{8} + \frac{g x^{4} \log{\left (c \right )}}{4} & \text{for}\: e \neq 0 \\\left (\frac{f x^{2}}{2} + \frac{g x^{4}}{4}\right ) \log{\left (c d^{p} \right )} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.21401, size = 200, normalized size = 2.13 \begin{align*} \frac{1}{8} \,{\left ({\left (2 \,{\left (x^{2} e + d\right )}^{2} \log \left (x^{2} e + d\right ) - 4 \,{\left (x^{2} e + d\right )} d \log \left (x^{2} e + d\right ) -{\left (x^{2} e + d\right )}^{2} + 4 \,{\left (x^{2} e + d\right )} d\right )} g p e^{\left (-1\right )} + 2 \,{\left ({\left (x^{2} e + d\right )}^{2} - 2 \,{\left (x^{2} e + d\right )} d\right )} g e^{\left (-1\right )} \log \left (c\right ) - 4 \,{\left (x^{2} e -{\left (x^{2} e + d\right )} \log \left (x^{2} e + d\right ) + d\right )} f p + 4 \,{\left (x^{2} e + d\right )} f \log \left (c\right )\right )} e^{\left (-1\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]